Search results for "Null graph"

showing 10 items of 11 documents

Protein-protein interaction network querying by a "focus and zoom" approach

2008

We propose an approach to network querying in protein-protein interaction networks based on bipartite graph weighted matching. An algorithm is presented that first “focuses” the potentially relevant portion of the target graph by performing a global alignment of this one with the query graph, and then “zooms” on the actual matching nodes by considering their topological arrangement, hereby obtaining a (possibly) approximated occurrence of the query graph within the target graph. Approximation is related to node insertions, node deletions and edge deletions possibly intervening in the query graph. The technique manages networks of arbitrary topology. Moreover, edge labels are used to represe…

Bioinformatics network analysisTheoretical computer scienceVoltage graphGraph (abstract data type)Folded cube graphAdjacency matrixNull graphBiconnected graphButterfly graphSimplex graphMathematicsofComputing_DISCRETEMATHEMATICSMathematics
researchProduct

Potential approach in marginalizing Gibbs models

1999

Abstract Given an undirected graph G or hypergraph potential H model for a given set of variables V , we introduce two marginalization operators for obtaining the undirected graph G A or hypergraph H A associated with a given subset A ⊂ V such that the marginal distribution of A factorizes according to G A or H A , respectively. Finally, we illustrate the method by its application to some practical examples. With them we show that potential approach allow defining a finer factorization or performing a more precise conditional independence analysis than undirected graph models. Finally, we explain connections with related works.

Discrete mathematicsApplied MathematicsComparability graphStrength of a graphClique graphlaw.inventionTheoretical Computer ScienceCombinatoricslawGraph powerArtificial IntelligenceGibbs modelLine graphGraph (abstract data type)FactorizationNull graphMarginalizationRandom geometric graphHypergraph modelsSoftwareMathematicsInternational Journal of Approximate Reasoning
researchProduct

On the Soluble Graph of a Finite Simple Group

2013

The maximal independent sets of the soluble graph of a finite simple group G are studied and their independence number is determined. In particular, it is shown that this graph in many cases has an independent set with three vertices.

Discrete mathematicsCombinatoricsAlgebra and Number TheoryGraph powerCycle graphVoltage graphCubic graphStrength of a graphNull graphDistance-regular graphComplement graphMathematicsCommunications in Algebra
researchProduct

A comparison of compatible, finite, and inductive graph properties

1993

Abstract In the theory of hyperedge-replacement grammars and languages, one encounters three types of graph properties that play an important role in proving decidability and structural results. The three types are called compatible, finite, and inductive graph properties. All three of them cover graph properties that are well-behaved with respect to certain operations on hypergraphs. In this paper, we show that the three notions are essentially equivalent. Consequently, three lines of investigation in the theory of hyperedge replacement - so far separated - merge into one.

Discrete mathematicsGeneral Computer ScienceVoltage graphDirected graphDecidabilityTheoretical Computer ScienceCombinatoricsVertex-transitive graphRule-based machine translationClique-widthGraph propertyNull graphMathematicsComputer Science(all)Theoretical Computer Science
researchProduct

Graph languages defined by systems of forbidden structures: A survey

1988

This paper deals with different ways of defining graph languages. These are the so-called forbidden structures. Some results on decision problems, their complexity, and set theoretic closure properties are scetched. A normal form, the minimal systems, are given. Finally the influence of the different kinds of forbidden structures on the descriptive power of the systems is shown.

Discrete mathematicsTheoretical computer scienceA-normal formVoltage graphGraph (abstract data type)Decision problemNull graphForbidden graph characterizationMathematics
researchProduct

Relations between structure and estimators in networks of dynamical systems

2011

The article main focus is on the identification of a graphical model from time series data associated with different interconnected entities. The time series are modeled as realizations of stochastic processes (representing nodes of a graph) linked together via transfer functions (representing the edges of the graph). Both the cases of non-causal and causal links are considered. By using only the measurements of the node outputs and without assuming any prior knowledge of the network topology, a method is provided to estimate the graph connectivity. In particular, it is proven that the method determines links to be present only between a node and its “kins”, where kins of a node consist of …

Discrete mathematicsTheoretical computer scienceDirected graphStrength of a graphSettore ING-INF/04 - AutomaticaLeast squares approximation Network topology Random variables Stochastic processes TopologyGraph (abstract data type)Graph propertyNull graphRandom geometric graphComplement graphConnectivityMathematicsIEEE Conference on Decision and Control and European Control Conference
researchProduct

Graph Connectivity, Monadic NP and built-in relations of moderate degree

1995

It has been conjectured [FSV93] that an existential secondoder formula, in which the second-order quantification is restricted to unary relations (i.e. a Monadic NP formula), cannot express Graph Connectivity even in the presence of arbitrary built-in relations.

Discrete mathematicsVoltage graphlaw.inventionCombinatoricsMathematics::LogiclawComputer Science::Logic in Computer ScienceClique-widthLine graphRegular graphGraph automorphismNull graphComputer Science::Formal Languages and Automata TheoryConnectivityComplement graphMathematics
researchProduct

Vertical representation of C∞-words

2015

We present a new framework for dealing with C ∞ -words, based on their left and right frontiers. This allows us to give a compact representation of them, and to describe the set of C ∞ -words through an infinite directed acyclic graph G. This graph is defined by a map acting on the frontiers of C ∞ -words. We show that this map can be defined recursively and with no explicit reference to C ∞ -words. We then show that some important conjectures on C ∞ -words follow from analogous statements on the structure of the graph G.

Left and rightDiscrete mathematicsGeneral Computer ScienceComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)16. Peace & justiceDirected acyclic graphTheoretical Computer ScienceCombinatoricsDirected setRecursive functionsGraph (abstract data type)Null graphComputer Science::Formal Languages and Automata TheoryMathematicsofComputing_DISCRETEMATHEMATICSMathematicsTheoretical Computer Science
researchProduct

Temporal aggregation in chain graph models

2005

The dependence structure of an observed process induced by temporal aggregation of a time evolving hidden spatial phenomenon is addressed. Data are described by means of chain graph models and an algorithm to compute the chain graph resulting from the temporal aggregation of a directed acyclic graph is provided. This chain graph is the best graph which covers the independencies of the resulting process within the chain graph class. A sufficient condition that produces a memory loss of the observed process with respect to its hidden origin is analyzed. Some examples are used for illustrating algorithms and results.

Statistics and ProbabilityApplied MathematicsVoltage graphDirected graphStrength of a graphTopologyGraph (abstract data type)Statistics Probability and UncertaintyNull graphGraph propertyAlgorithmComplement graphMathematicsofComputing_DISCRETEMATHEMATICSMoral graphMathematicsJournal of Statistical Planning and Inference
researchProduct

Searching for a strong double tracing in a graph

1998

Given a connected graph G, we present a polynomial algorithm which either finds a tour traversing each edge of G exactly two non-consecutive times, one in each direction, or decides that no such tour exists. The main idea of this algorithm is based on the modification of a proof given by Thomassen related to a problem proposed by Ore in 1951.

Statistics and ProbabilityDiscrete mathematicsInformation Systems and ManagementVoltage graphDirected graphManagement Science and Operations ResearchButterfly graphlaw.inventionCombinatoricslawGraph powerModeling and SimulationLine graphString graphDiscrete Mathematics and CombinatoricsNull graphGraph factorizationMathematicsofComputing_DISCRETEMATHEMATICSMathematicsTop
researchProduct